emptyprimitive.agda:1,1-10
Empty primitive block.

———— All done; warnings encountered ————————————————————————

emptyprimitive.agda:1,1-10
Empty primitive block.
